jade.content
Class Quantifier

java.lang.Object
  |
  +--jade.content.Quantifier

public class Quantifier

extends java.lang.Object

implements HigherOrderPredicate

Author:

Federico Bergenti - Universita` di Parma

Constructor Summary

Quantifier()
Constructor

Method Summary

java.lang.String	getKind() Gets the kind of the variable, i.e., its cardinality.
Proposition	getProposition() Gets the proposition that defines the scope of the variable.
Variable	getVariable() Gets the variable.
void	setKind(java.lang.String kind) Sets the kind of the variable, i.e., its cardinality.
void	setProposition(Proposition proposition) Sets the proposition that defines the scope of the variable.
void	setVariable(Variable variable) Sets the variable.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Quantifier

public Quantifier()

Constructor

Method Detail

setKind

public void setKind(java.lang.String kind)

Sets the kind of the variable, i.e., its cardinality.

Parameters:

kind - the kind

getKind

public java.lang.String getKind()

Gets the kind of the variable, i.e., its cardinality.

Returns:

the kind

setVariable

public void setVariable(Variable variable)

Sets the variable.

Parameters:

variable - the variable

getVariable

public Variable getVariable()

Gets the variable.

Returns:

the variable.

setProposition

public void setProposition(Proposition proposition)

Sets the proposition that defines the scope of the variable.

Parameters:

proposition - the proposition.

getProposition

public Proposition getProposition()

Gets the proposition that defines the scope of the variable.

Returns:

the proposition